This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lire la suiteThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Lire la suiteThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Lire la suiteThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suiteThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lire la suiteThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
Lire la suiteThe First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Lire la suiteThese are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
Lire la suiteThese are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...
Lire la suiteThis volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. ...
Lire la suiteThe 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
Lire la suiteThe present book includes a set of selected papers from the 3rd “International Conference on Informatics in Control Automation ...
Lire la suiteThis book constitutes the refereed proceedings of the 4th International Conference on Information Systems Security, ICISS ...
Lire la suiteAgents perform actions based on the available information and in the presence of other interacting agents. From this perspective ...
Lire la suiteOne of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lire la suite